/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package ASAExpr;

import exception.VariableNonDeclareeException;

/**
 *
 * @author FM & KB
 */
public class ASAExprDecrementation extends ASAExpr{
    ASAExprRecupIdent pointeur;
    
    public ASAExprDecrementation(ASAExprRecupIdent pointeur){
        this.pointeur = pointeur;
    }

    @Override
    public int evalue() throws VariableNonDeclareeException {
        ASAExprIdent variable = pointeur.recupVariable();
        int temp = variable.evalue();
        variable.setValeur(temp-1);
        return temp-1;
    }

    @Override
    public String notationExplorateur() {
        return notationExplorateur("");
    }
    
    @Override
    public String getLabelExplorateur() {
        return "DECREMENTATION";
    }
    
    @Override
    public ASAExpr getExpr1(){
        return pointeur;
    }    
}
